elimination of left recursion